PKK Library catalog › Results of search for 'su:{Computer programming} and se:Prentice-Hall International Series In Computer Science and au:Backhouse, Roland C.'

	1.	Program construction and verification by Backhouse, Roland C. Material type: Book; Format: print ; Literary form: not fiction Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall International 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1). Place hold Add to cart (remove)
	2.	Program construction and verification by Backhouse, Roland C. Material type: Book; Format: print ; Literary form: not fiction Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1). Place hold Add to cart (remove)

PKK Library